A subset of the files needed to build the RISC OS 2 kernel